integral extension

整扩张